864f6cfe49f45d905ee092a66ff5575e12c597bc,src/v2/org/analysis/transition_rule/X86TransitionRule.java,X86TransitionRule,multiDestination,#Value#number#Instruction#BPPath#List#,886
Before Change
Value l1 = new HybridBooleanValue(r1, new LongValue(value), "==");
l.add(new Formula(l1, "not"));
if (!this.checkZ3(l, path.getCurrentState())) {
return;
}
After Change
Value l1 = new HybridBooleanValue(r1, new LongValue(value), "==");
l.add(new Formula(l1, "not"));
if (!this.checkZ3(l, path.getCurrentState()).isSAT()) {
return;
}